Evaluating Google Compute Engine with PROOF
نویسندگان
چکیده
منابع مشابه
Sorting 100 TB on Google Compute Engine
Google Compute Engine offers a high-performance, costeffective means for running I/O-intensive applications. This report details our experience running large-scale, highperformance sorting jobs on GCE. We run sort applications up to 100 TB in size on clusters of up to 299 VMs, and find that we are able to sort data at or near the hardware capabilities of the locally attached SSDs. In particular...
متن کاملGoogle App Engine
Cloud computing becomes more popular day by day. The “dream” of users to “to get rid” of administrators, huge investments on expensive hardware and human resources becomes true. The goal of this paper is to present a general overview of the new coming service offered by Google company Google App Engine. “What is it for?”, “What can I do with the system?” and “How does it work?” are some of the ...
متن کاملGoogle and Search-Engine Market Power
To Columbia workshop readers: As you will see, this paper is a preliminary draft, and somewhat out-of-date now, because although I wrote it some months ago, I have worked little on it since. The approach that I propose for measuring Google’s power is interesting, I think, but I believe the greater value of the paper is in its identification of some difficult and important problems in the antitr...
متن کاملScientific Computing in the Cloud with Google App Engine
Cloud Computing as a computing paradigm recently emerged to a topic of high research interest. It has become attractive alternative to traditional computing environments, especially for smaller research groups that can not afford expensive infrastructure. Most of the research regarding scientific computing in the cloud however focused on IaaS cloud providers. Google App Engine is a PaaS cloud f...
متن کاملIvor, a Proof Engine
Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2014
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/513/3/032036